МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА» Кафедра ЕОМ
Лабораторна робота №5 З дисципліни: «Організація обчислювальних процесів в паралельних системах» На тему: «Семафори в ОС UNIX» Мета: Засвоїти механізм синхронізації процесів через семафори. Синтаксис та призначення системних викликів. 1. Системний виклик semget. int semget (key, nsems, semflg)             key_t key;             int nsems;             int semflg;  Системний виклик semget повертає ідентифікатор множини семафорів, який асоційований із ключем key. Ідентифікатор і асоційовані з ним структура даних і множина з nsems семафорів створюються для ключа key у наступних випадках: -        Значення аргументу key дорівнює ІPC_PRІVATE. -        Ключ key ще не має асоційованого з ним ідентифікатора множини семафорів і вираз (semflg & ІPC_CREAT) істинний. Використання параметру semflg таке саме, як і у системному виклику msgget(2) (лабораторна робота №4). При успішному завершенні системного виклику повертається ідентифікатор множини семафорів. У випадку помилки повертається -1, а змінній errno присвоюється код помилки. 2. Системний виклик semop. int semop (semid, sops, nsops);            int semid;            struct sembuf** sops;            unsigned nsops;  Системний виклик semop використовується для виконання набору операцій над множиною семафорів, який асоційований з ідентифікатором semіd. Аргумент sops (масив структур) визначає, над якими семафорами будуть виконуватися операції і які саме. Структура, що описує операцію над одним семафором, визначається в такий спосіб: #include <sys/sem.h>   struct sembuf {    // Номер семафора    short sem_num;    // Операція над семафором    short sem_op;    // Прапорці операції    short sem_flg; };  Номер семафора задає конкретний семафор у множині, над яким повинна бути виконана операція. Виконувана операція визначається в такий спосіб: -        Позитивне значення поля sem_op наказує збільшити значення семафора на величину sem_op. -        Негативне значення поля sem_op наказує зменшити значення семафора на абсолютну величину sem_op. Операція не може бути успішно виконана, якщо в результаті вийде негативне число. -        Нульове значення поля sem_op наказує порівняти значення семафора з нулем. Операція не може бути успішно виконана, якщо значення семафора відмінне від нуля. Допустимі значення прапорців операцій (поле sem_flg): -        ІPC_NOWAІT Якщо яка-небудь операція, для якої заданий прапорець ІPC_NOWAІT, не може бути успішно виконана, системний виклик завершується невдачею, причому значення жодного із семафорів не буде змінено. -        SEM_UNDO Даний прапорець задає перевірочний режим виконання операції; він наказує анулювати її результат навіть у випадку успішного завершення системного виклику semop(2). Іншими словами, блокування всіх операцій (у тому числі і тих, для яких заданий прапор SEM_UNDO) виконується звичайним чином, але коли нарешті всі операції можуть бути успішно виконані, операції з прапором SEM_UNDO ігноруються. Аргумент nsops специфікує кількість структур у масиві. Максимально припустимий розмір масиву визначається системним параметром SEMOPM, тобто в кожному системному виклику semop(2) можна виконати не більш SEMOPM операцій. 3. Системний виклик semctl. int semctl (semid, semnum, cmd, arg)             int semid, cmd;             int semnum;             union semun             {                int val;                struct semid_ds *buf;                ushort *array;             } arg;  Системний виклик semctl дозволяє виконувати операції керування семафорами. Семафори задаються аргументами semіd і semnum. Операція визначається значенням аргументуcmd. Розглянемо деякі значення аргументу cmd: GETVAL Одержати значення семафора semval.  SETVAL Встановити значення семафора semval рівним arg.val.  GETPІ Одержати значення sempіd.  GETNCNT Одержати значення semncnt.  GETZCNT Одержати значення semzcnt.  GETALL Прочитати значення семафорів ...